pushModal: clear focus after pushing a new level

This way the new modal level is independent of whatever may have been
happening before. Fixes a problem with status menus becoming active
again from inside the app switcher, etc.

diff --git a/js/ui/main.js b/js/ui/main.js
index 8e46209e62f15c0b0d879b7213d538c20fd63090..5177df6ecde76a5a346a05f5eee4439832d212e5 100644 (file)
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -390,6 +390,7 @@ function pushModal(actor) {
     }
     modalActorFocusStack.push([actor, curFocus]);
 
+    global.stage.set_key_focus(null);
     return true;
 }